منابع مشابه
Three Sampling Formulas
Sampling formulas describe probability laws of exchangeable combinatorial structures like partitions and compositions. We give a brief account of two known parametric families of sampling formulas and add a new family to the list.
متن کاملQuasi-polynomial Hitting-set for Set-depth-Delta Formulas
We call a depth-4 formula C set-depth-4 if there exists a (unknown) partition X1 t · · · t Xd of the variable indices [n] that the top product layer respects, i.e. C(x) = ∑k i=1 ∏d j=1 fi,j(xXj ), where fi,j is a sparse polynomial in F[xXj ]. Extending this definition to any depth we call a depth-∆ formula C (consisting of alternating layers of Σ and Π gates, with a Σ-gate on top) a set-depth-∆...
متن کاملSet theoretical proofs as type theoretical programs
We show, that all Π 0 2-sentences, provable in the set theory KP I + U can be proved in Martin-Löf's Type Theory with W-type and one universe. Therefore set theoretical proofs can be considered as programs in type theory. The method used is a formalisation of proof theoretical methods in type theory. The result will be a high level type theory program using the full strength of Martin-Löf's Typ...
متن کاملInfinitary Formulas in Answer Set Programming
The concept of a stable model for infinitary propositional formulas can be used to define the semantics of answer set programming languages. A semantics of this kind serves as a specification for the latest version of the answer set grounder GRINGO. The original definition of a stable model [Gelfond and Lifschitz, 1988] has been generalized in several ways (a survey by Lifschitz [2010] provides...
متن کاملSet-theoretical mathematics in Coq
Carlos Simpson [email protected] CNRS, Laboratoire J.A. Dieudonne Universite de Nice-Sophia Antipolis Abstract: We give a brief discussion of some of the issues which have arisen in the course of formalizing some classical set-theoretical mathematics in the Coq system. This sprouts from, expands and replaces a chapter of math.HO/0311260 which will be removed in revision, and also contains as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1961
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093956753